翻訳と辞書 Words near each other ・ Anne Shannon Monroe ・ Anne Sharp ・ Anne Sharpley ・ Anne Shaw ・ Anne Shelton ・ Anne Shelton (courtier) ・ Anne Shelton (singer) ・ Anne Sheppard ・ Anne Shilcock ・ Anne Shirley ・ Anne Shirley (actress) ・ Anne Simon ・ Anne Simonett ・ Anne Simpson ・ Anne Sinclair ・ Anne Sjerp Troelstra ・ Anne Slaughter Andrew ・ Anne Smedinghoff ・ Anne Smith ・ Anne Smith (disambiguation) ・ Anne Smith (footballer) ・ Anne Smith, Lady Smith ・ Anne Snelgrove ・ Anne Sofie Berge ・ Anne Sofie von Otter ・ Anne Solsvik ・ Anne Somerset ・ Anne Sophie Hunstad ・ Anne Sophie Mathis ・ Anne Sophie Reventlow Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Anne Sjerp Troelstra ： ウィキペディア英語版 Anne Sjerp Troelstra Anne Sjerp Troelstra (born 10 August 1939) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. He is a constructivist logician, who has been influential in the development of intuitionistic logic.〔(Daimiposten – Oktober 2001 )〕〔(MARTIN LÖB (1921–2006) )〕 With Georg Kreisel, he was a developer of the theory of choice sequences.〔.〕 He also wrote one of the first texts on linear logic,〔.〕 and with H. Schwichtenberg he co-wrote an important book on proof theory.〔.〕 ==Notes== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Anne Sjerp Troelstra」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.